<!--
To change this template, choose Tools | Templates
and open the template in the editor.
-->
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
    <head>
        <title></title>
        <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
    </head>
    <body>
        <form method="post" action="editIntResolution.php">
            <p>
                <input name="int"  value="${VARIABLE_int}" type="text"/> 
            </p>
            <p>
                <input type="submit" name="preview" value="Preview"/><input type="submit" name="save" value="Save"/>
            </p>
        </form>
        History:
        ${VARIABLE_historyAll}
    </body>
</html>
